no_payment_due(student997,neg).
no_payment_due(student995,neg).
no_payment_due(student991,neg).
no_payment_due(student988,neg).
no_payment_due(student986,neg).
no_payment_due(student982,neg).
no_payment_due(student980,neg).
no_payment_due(student979,neg).
no_payment_due(student978,neg).
no_payment_due(student974,neg).
no_payment_due(student973,neg).
no_payment_due(student971,neg).
no_payment_due(student966,neg).
no_payment_due(student965,neg).
no_payment_due(student964,neg).
no_payment_due(student961,neg).
no_payment_due(student960,neg).
no_payment_due(student957,neg).
no_payment_due(student954,neg).
no_payment_due(student951,neg).
no_payment_due(student944,neg).
no_payment_due(student941,neg).
no_payment_due(student939,neg).
no_payment_due(student938,neg).
no_payment_due(student934,neg).
no_payment_due(student933,neg).
no_payment_due(student931,neg).
no_payment_due(student930,neg).
no_payment_due(student929,neg).
no_payment_due(student925,neg).
no_payment_due(student922,neg).
no_payment_due(student921,neg).
no_payment_due(student919,neg).
no_payment_due(student917,neg).
no_payment_due(student914,neg).
no_payment_due(student912,neg).
no_payment_due(student911,neg).
no_payment_due(student907,neg).
no_payment_due(student903,neg).
no_payment_due(student900,neg).
no_payment_due(student899,neg).
no_payment_due(student898,neg).
no_payment_due(student892,neg).
no_payment_due(student889,neg).
no_payment_due(student886,neg).
no_payment_due(student884,neg).
no_payment_due(student883,neg).
no_payment_due(student882,neg).
no_payment_due(student880,neg).
no_payment_due(student878,neg).
no_payment_due(student876,neg).
no_payment_due(student875,neg).
no_payment_due(student873,neg).
no_payment_due(student872,neg).
no_payment_due(student869,neg).
no_payment_due(student865,neg).
no_payment_due(student862,neg).
no_payment_due(student861,neg).
no_payment_due(student860,neg).
no_payment_due(student857,neg).
no_payment_due(student853,neg).
no_payment_due(student851,neg).
no_payment_due(student848,neg).
no_payment_due(student845,neg).
no_payment_due(student844,neg).
no_payment_due(student843,neg).
no_payment_due(student839,neg).
no_payment_due(student837,neg).
no_payment_due(student834,neg).
no_payment_due(student833,neg).
no_payment_due(student829,neg).
no_payment_due(student826,neg).
no_payment_due(student824,neg).
no_payment_due(student822,neg).
no_payment_due(student819,neg).
no_payment_due(student818,neg).
no_payment_due(student816,neg).
no_payment_due(student815,neg).
no_payment_due(student813,neg).
no_payment_due(student811,neg).
no_payment_due(student810,neg).
no_payment_due(student802,neg).
no_payment_due(student801,neg).
no_payment_due(student799,neg).
no_payment_due(student796,neg).
no_payment_due(student793,neg).
no_payment_due(student791,neg).
no_payment_due(student786,neg).
no_payment_due(student784,neg).
no_payment_due(student782,neg).
no_payment_due(student777,neg).
no_payment_due(student772,neg).
no_payment_due(student771,neg).
no_payment_due(student767,neg).
no_payment_due(student766,neg).
no_payment_due(student763,neg).
no_payment_due(student759,neg).
no_payment_due(student756,neg).
no_payment_due(student755,neg).
no_payment_due(student752,neg).
no_payment_due(student737,neg).
no_payment_due(student736,neg).
no_payment_due(student731,neg).
no_payment_due(student730,neg).
no_payment_due(student728,neg).
no_payment_due(student726,neg).
no_payment_due(student725,neg).
no_payment_due(student722,neg).
no_payment_due(student720,neg).
no_payment_due(student718,neg).
no_payment_due(student716,neg).
no_payment_due(student715,neg).
no_payment_due(student713,neg).
no_payment_due(student711,neg).
no_payment_due(student708,neg).
no_payment_due(student707,neg).
no_payment_due(student706,neg).
no_payment_due(student704,neg).
no_payment_due(student703,neg).
no_payment_due(student695,neg).
no_payment_due(student694,neg).
no_payment_due(student693,neg).
no_payment_due(student692,neg).
no_payment_due(student691,neg).
no_payment_due(student687,neg).
no_payment_due(student685,neg).
no_payment_due(student683,neg).
no_payment_due(student681,neg).
no_payment_due(student675,neg).
no_payment_due(student671,neg).
no_payment_due(student669,neg).
no_payment_due(student657,neg).
no_payment_due(student654,neg).
no_payment_due(student653,neg).
no_payment_due(student648,neg).
no_payment_due(student644,neg).
no_payment_due(student643,neg).
no_payment_due(student640,neg).
no_payment_due(student639,neg).
no_payment_due(student637,neg).
no_payment_due(student636,neg).
no_payment_due(student633,neg).
no_payment_due(student630,neg).
no_payment_due(student623,neg).
no_payment_due(student622,neg).
no_payment_due(student618,neg).
no_payment_due(student604,neg).
no_payment_due(student597,neg).
no_payment_due(student586,neg).
no_payment_due(student582,neg).
no_payment_due(student577,neg).
no_payment_due(student574,neg).
no_payment_due(student571,neg).
no_payment_due(student566,neg).
no_payment_due(student564,neg).
no_payment_due(student563,neg).
no_payment_due(student561,neg).
no_payment_due(student558,neg).
no_payment_due(student557,neg).
no_payment_due(student552,neg).
no_payment_due(student551,neg).
no_payment_due(student549,neg).
no_payment_due(student548,neg).
no_payment_due(student545,neg).
no_payment_due(student543,neg).
no_payment_due(student542,neg).
no_payment_due(student540,neg).
no_payment_due(student537,neg).
no_payment_due(student535,neg).
no_payment_due(student532,neg).
no_payment_due(student528,neg).
no_payment_due(student525,neg).
no_payment_due(student524,neg).
no_payment_due(student521,neg).
no_payment_due(student520,neg).
no_payment_due(student518,neg).
no_payment_due(student516,neg).
no_payment_due(student514,neg).
no_payment_due(student513,neg).
no_payment_due(student510,neg).
no_payment_due(student509,neg).
no_payment_due(student507,neg).
no_payment_due(student506,neg).
no_payment_due(student501,neg).
no_payment_due(student499,neg).
no_payment_due(student489,neg).
no_payment_due(student487,neg).
no_payment_due(student484,neg).
no_payment_due(student483,neg).
no_payment_due(student482,neg).
no_payment_due(student478,neg).
no_payment_due(student471,neg).
no_payment_due(student469,neg).
no_payment_due(student466,neg).
no_payment_due(student464,neg).
no_payment_due(student463,neg).
no_payment_due(student462,neg).
no_payment_due(student461,neg).
no_payment_due(student460,neg).
no_payment_due(student457,neg).
no_payment_due(student456,neg).
no_payment_due(student455,neg).
no_payment_due(student454,neg).
no_payment_due(student453,neg).
no_payment_due(student451,neg).
no_payment_due(student449,neg).
no_payment_due(student445,neg).
no_payment_due(student437,neg).
no_payment_due(student435,neg).
no_payment_due(student434,neg).
no_payment_due(student427,neg).
no_payment_due(student426,neg).
no_payment_due(student424,neg).
no_payment_due(student419,neg).
no_payment_due(student418,neg).
no_payment_due(student413,neg).
no_payment_due(student408,neg).
no_payment_due(student402,neg).
no_payment_due(student398,neg).
no_payment_due(student394,neg).
no_payment_due(student393,neg).
no_payment_due(student392,neg).
no_payment_due(student390,neg).
no_payment_due(student387,neg).
no_payment_due(student383,neg).
no_payment_due(student381,neg).
no_payment_due(student379,neg).
no_payment_due(student375,neg).
no_payment_due(student374,neg).
no_payment_due(student366,neg).
no_payment_due(student365,neg).
no_payment_due(student363,neg).
no_payment_due(student362,neg).
no_payment_due(student360,neg).
no_payment_due(student358,neg).
no_payment_due(student357,neg).
no_payment_due(student356,neg).
no_payment_due(student355,neg).
no_payment_due(student353,neg).
no_payment_due(student348,neg).
no_payment_due(student345,neg).
no_payment_due(student344,neg).
no_payment_due(student343,neg).
no_payment_due(student341,neg).
no_payment_due(student335,neg).
no_payment_due(student332,neg).
no_payment_due(student327,neg).
no_payment_due(student326,neg).
no_payment_due(student325,neg).
no_payment_due(student321,neg).
no_payment_due(student320,neg).
no_payment_due(student319,neg).
no_payment_due(student312,neg).
no_payment_due(student311,neg).
no_payment_due(student310,neg).
no_payment_due(student307,neg).
no_payment_due(student303,neg).
no_payment_due(student299,neg).
no_payment_due(student298,neg).
no_payment_due(student292,neg).
no_payment_due(student290,neg).
no_payment_due(student289,neg).
no_payment_due(student287,neg).
no_payment_due(student278,neg).
no_payment_due(student277,neg).
no_payment_due(student276,neg).
no_payment_due(student268,neg).
no_payment_due(student266,neg).
no_payment_due(student265,neg).
no_payment_due(student264,neg).
no_payment_due(student259,neg).
no_payment_due(student258,neg).
no_payment_due(student256,neg).
no_payment_due(student254,neg).
no_payment_due(student252,neg).
no_payment_due(student251,neg).
no_payment_due(student249,neg).
no_payment_due(student245,neg).
no_payment_due(student243,neg).
no_payment_due(student240,neg).
no_payment_due(student239,neg).
no_payment_due(student236,neg).
no_payment_due(student230,neg).
no_payment_due(student223,neg).
no_payment_due(student221,neg).
no_payment_due(student218,neg).
no_payment_due(student215,neg).
no_payment_due(student212,neg).
no_payment_due(student206,neg).
no_payment_due(student205,neg).
no_payment_due(student202,neg).
no_payment_due(student201,neg).
no_payment_due(student200,neg).
no_payment_due(student192,neg).
no_payment_due(student190,neg).
no_payment_due(student188,neg).
no_payment_due(student187,neg).
no_payment_due(student186,neg).
no_payment_due(student185,neg).
no_payment_due(student182,neg).
no_payment_due(student180,neg).
no_payment_due(student177,neg).
no_payment_due(student176,neg).
no_payment_due(student166,neg).
no_payment_due(student161,neg).
no_payment_due(student160,neg).
no_payment_due(student149,neg).
no_payment_due(student146,neg).
no_payment_due(student144,neg).
no_payment_due(student141,neg).
no_payment_due(student137,neg).
no_payment_due(student132,neg).
no_payment_due(student131,neg).
no_payment_due(student124,neg).
no_payment_due(student123,neg).
no_payment_due(student116,neg).
no_payment_due(student115,neg).
no_payment_due(student113,neg).
no_payment_due(student111,neg).
no_payment_due(student110,neg).
no_payment_due(student107,neg).
no_payment_due(student103,neg).
no_payment_due(student101,neg).
no_payment_due(student98,neg).
no_payment_due(student89,neg).
no_payment_due(student88,neg).
no_payment_due(student87,neg).
no_payment_due(student86,neg).
no_payment_due(student85,neg).
no_payment_due(student78,neg).
no_payment_due(student76,neg).
no_payment_due(student74,neg).
no_payment_due(student71,neg).
no_payment_due(student67,neg).
no_payment_due(student61,neg).
no_payment_due(student60,neg).
no_payment_due(student58,neg).
no_payment_due(student56,neg).
no_payment_due(student55,neg).
no_payment_due(student54,neg).
no_payment_due(student53,neg).
no_payment_due(student47,neg).
no_payment_due(student44,neg).
no_payment_due(student38,neg).
no_payment_due(student36,neg).
no_payment_due(student35,neg).
no_payment_due(student34,neg).
no_payment_due(student29,neg).
no_payment_due(student27,neg).
no_payment_due(student25,neg).
no_payment_due(student20,neg).
no_payment_due(student18,neg).
no_payment_due(student16,neg).
no_payment_due(student14,neg).
no_payment_due(student10,neg).
no_payment_due(student5,neg).
no_payment_due(student3,neg).